Fix bug #14408 with updating *Messages* display.
authorEli Zaretskii <eliz@gnu.org>
Thu, 16 May 2013 18:33:27 +0000 (21:33 +0300)
committerEli Zaretskii <eliz@gnu.org>
Thu, 16 May 2013 18:33:27 +0000 (21:33 +0300)
commitd10256900e1b38d317cdec77f3408db92b3a2c0a
tree869968603a85b25e4d5f6bf3e16c40d3bee1b99c
parent42a4277c71e766e671d1468bd01768a23b400f01
Fix bug #14408 with updating *Messages* display.

 src/xdisp.c (message_dolog): If the *Messages* buffer is shown in
 some window, increment windows_or_buffers_changed, so that
 *Messages* display in that window is updated.
src/ChangeLog
src/xdisp.c